% # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
% # Licensed under the Apache License, Version 2.0 (the "License");
% # you may not use this file except in compliance with the License.
% # You may obtain a copy of the License at
% #
% # http://www.apache.org/licenses/LICENSE-2.0
% #
% # Unless required by applicable law or agreed to in writing, software
% # distributed under the License is distributed on an "AS IS" BASIS,
% # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
% # See the License for the specific language governing permissions and
% # limitations under the License.

# Uncovered Assertions

The following assertions from the specification are not covered by tests

<% uncovered.each do |v| %>

## <%= v['title'] %>
<% if v['description'] -%>

Description: <%= md(v['description']) %>
<% end %>
<% if v['instructions'].class == Array -%>

Instructions:

<% v['instructions']&.each do |i| -%>
- **<%= md(i['sig']) -%>**
  - *format:* <%= format_array(i) %>
<% if i['type'] %>  - *type:* <%= md(i['type']) + "\n" %><% end -%>
<% if i['dtype'] %>  - *dtype:* <%= md(i['dtype']) + "\n" %><% end -%>
<% if i['etype'] %>  - *etype:* <%= md(i['etype']) + "\n" %><% end -%>
<% if i['properties'] %>  - *properties:* <%= props(i['properties']) + "\n" %><% end -%>
<% end -%>
<% end -%>
<% if v['exceptions'].class == Array %>

Exceptions:

<% v['exceptions']&.each do |e| -%>
- <%= md(e) %>
<% end -%>
<% end -%>
<% if v['verification'].class == Array %>

Verification:

<% v['verification']&.each do |x| -%>
- <%= md(x) %>
<% end -%>
<% end -%>
<% end -%>
